libgmp.so
libgmp.so.10
libgmp.so.10.5.0
libgmpxx.so
libgmpxx.so.4
libgmpxx.so.4.7.0
